Section: New Software and Platforms
Timbuk
Keywords: Proof - Ocaml - Program verification - Tree Automata
Functional Description
Timbuk is a collection of tools for achieving proofs of reachability over Term Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic finite tree automata)